Automating Software Reuse
ثبت نشده
چکیده
ment, whose objective is to empower domain experts themselves to specialize AM-PHION to an application domain. It is meant to be the automatic programming analogue of application generator generator technology. META-AMPHION will include an extension of the current user interface to guide domain experts in creating and extending a domain theory (in fact, the current user interface is already suitable for developing component specifications), a subsystem to check that software components are specified correctly in a domain theory through verification against the component code, a subsystem to check for missing axioms, and a subsystem to automatically operationalize a domain theory for efficient deductive synthesis. To make it feasible for domain experts to generate AMPHION applications, they must be able to specify their knowledge of a domain without becoming experts in the operational semantics of automated reasoning technology, especially the intricacies of general purpose theorem provers. Our approach to operationalizing a declarative domain theory for efficient de-ductive synthesis is conceptually to apply AMPHION at the meta-level: given a meta-theory of program synthesis and a domain theory for a particular application domain , Meta-AMPHION constructs an efficient domain-specific program synthesis system from components that implement specialized inference procedures. The components that are formalized at the Meta-AMPHION level are decision procedures whose applicability conditions are indexed through a hierarchy of abstract mathematical structures. Meta-AMPHION analyses the domain theory and finds instances of these mathematical structures. It then substitutes instances of the corresponding decision procedures for sets of axioms in the domain theory, thereby greatly speeding up inferences related to those sets of axioms. It is not necessary to substitute decision procedures for all the axioms in a domain theory, but to be effective it is necessary to eliminate sources of exponential search. Meta-AMPHION is described in [VanBaalen and Lowry 95].
منابع مشابه
Automating the design of computer systems
The best ebooks about Automating The Design Of Computer Systems that you can get for free here by download this Automating The Design Of Computer Systems and save to your desktop. This ebooks is under topic such as automating the design of graphical presentations of automating instructional design: approaches and limitations automating a design reuse facility with critical automating the design...
متن کاملAutomating Software Reuse with Amphion
The construction of libraries of reusable software components is the standard software engineering solution for improving software development productivity and quality. By encapsulating usable functionality in software components (e.g. subroutines, object classes), and then reusing those components, software of greater functionality can be developed in less time, with some assurance that the ov...
متن کاملAutomating Output Size and Reuse Metrics in a Repository-Based Computer-Aided Software Engineering (CASE) Environment
Measurement of software development productivity is needed in order to control software costs, but it is discouragingly labor-intensive and expensive. Computer aided sofcware engineering (CASE) technologies -especially repository-based, integrated CASE -have the potential to support the automation of this measurement. In this paper, we discuss the development of automated analyzers for function...
متن کاملAn investigation into tool support for the development of reusable software
The demands for software systems have been increasing worldwide and advances a software productivity have been insufficient to meet these demands. Software component reuse can make an important contribution to significant gains in productivity. However, to achieve its full potential, objective and automatable reuse guidelines are needed to support the designers of reusable components. We know c...
متن کاملFormalizing and Automating Component Reuse
Using existing components to construct software systems has significant potential to improving software productivity and quality. A key problem in software component reuse is the selection of appropriate components for satisfying a given requirement. In this paper, we define a component interface generality relation that provides a foundation for component selection. This generality relation, r...
متن کاملLarge-Scale Automated Software Diversity - Program Evolution Redux
The software monoculture favors attackers over defenders, since it makes all target environments appear similar. Code-reuse attacks, for example, rely on target hosts running identical software. Attackers use this assumption to their advantage by automating parts of creating an attack. This article presents large-scale automated software diversification as a means to shore up this vulnerability...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995